Nuprl Lemma : fun_thru_1op_wf 13,42

AB:Type, opa:(AA), opb:(BB), f:(AB). fun_thru_1op(A;B;opa;opb;f  
latex


Upgen algebra 1
Definitions of Statementfun_thru_1op(A;B;opa;opb;f)
Definitionsfun_thru_1op(A;B;opa;opb;f), , t  T, x:AB(x)

origin